821. Solving partial differential equations on parallel computers
پدیدآورنده : Zhu, Jianping
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Differential equations, Partial - Numerical solutions , Parallel processing )Electronic computers( , Computer algorithms
رده :
QA
374
.
Z52
1994
822. Solving problems on concurrent processors
پدیدآورنده : Geoffrey C. Fox ... )et al.(
موضوع : ، Parallel processing )Electronic computers(,، Multiprocessors
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
823. Solving problems on concurrent processors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Multiprocessors
رده :
QA
76
.
5
.
S6534
1988
824. Solving problems on concurrent processors
پدیدآورنده : Geoffrey C. Fox...)et. al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,، Multiprocessors
رده :
QA
76
.
5
.
S6534
1988
825. Specification and analysis of concurrent systems
پدیدآورنده : Ryszard Janicki, Peter E. Lauer
موضوع : Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
826. Specification and analysis of concurrent systems : the COSY approach
پدیدآورنده : Janicki, Ryszard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
J36
1992
827. Structured adaptive mesh refinement )SAMR( grid methods
پدیدآورنده : Scott B. Baden....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Multigrid methods )Numerical analysis(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
377
.
S87
828. Supercompilers for parallel and vector computers
پدیدآورنده : Zima, Hans
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Supercomputers- Programming,، Compilers )Computer programs(,، Parallel processing )Electronic computers(,، Vector processing )Computer science(
829. Supercompilers for parallel and vector computers
پدیدآورنده : Zima, Hans P., 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Programming ، Supercomputers,، Compilers )Computer programs(,، Parallel processing )Electronic computers(,، Vector processing )Computer science(
رده :
QA
76
.
6
.
Z55S9
830. Supervisory control of concurrent systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Supervisory control systems. ; Parallel processing (Electronic computers) ; Petri nets. ;
831. Synthesizing synchronous systems by static scheduling in space-time
پدیدآورنده : Lisper, Bjorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، System design
رده :
QA
76
.
L28
Vol
.
362
832. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
833. Systems programming in parallel logic languages
پدیدآورنده : Foster, Ian
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Systems programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
66
.
F67
1990
834. Systems programming in parallel logic languages
پدیدآورنده : Ian Foster
موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
835. Systolic parallel processing
پدیدآورنده : Petkov, Nikolay
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer algorithms
رده :
QA
76
.
58
.
P48
1993
836. Task scheduling for parallel systems
پدیدآورنده : Sinnen, Oliver
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Multitasking )Computer science(,، Computer scheduling
رده :
QA
76
.
58
.
S572
2007
837. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
838. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing,، Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
839. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
840. The Analysis of concurrent systems : Proceedings, Cambridge, September 12-16, 1983
پدیدآورنده : edited by B.T. Denvir...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
207